#ifndef ALGORITHM_H
#define	ALGORITHM_H
#include "Graph.h"

extern int greedy_algorithm(Graph * g); //Returns the k-max
extern int backtracking_algorithm(Graph * g, int k, int trace); //Returns numbers max of colored nodes
extern int greaterClique(Graph * g);

extern int nochoice_algorithm(Graph * g, int k);
extern int nochoice_algorithm_optimized2(Graph * g, int k);

extern void sat_couloring(Graph * g, int k, string sat_result_file);

#endif	/* ALGORITHM_H */

